$\forall$$R$:Realizer.
\\[0ex]R{-}Feasible($R$)
\\[0ex]$\Leftarrow\!\Rightarrow$ ($\exists$${\it es}$:ES. (Possible($R$;${\it es}$) \& ($\forall$$i$, $x$:Id. R{-}discrete($R$)($<$$i$, $x$$>$)?ff = discrete($i$;$x$) $\in$ $\mathbb{B}$)))